indexing
	description : "Summary description for {MC72}."
	date: "$Date$"
	revision: "$Revision$"

class
	MC72

create
	make

feature {NONE} -- Implementation
	misilActual:MISIL

feature --Constructor
	make -- Constructor de la clase MC72
			do
				misilActual:=void
			ensure
				misilActual = void
			end

feature	 --Operaciones

	hayMisiles():BOOLEAN
			-- Operacion que mira si hay misiles en stock
			local
				r:RANDOM
				t:DATE_TIME
				res:BOOLEAN
			do
				create r.make
				create t.make_now
				r.set_seed(t.second)
				if( (r.next_random (t.second) \\ 2) = 0 )
					then
						res:=TRUE
					else
						res:=FALSE
				end
				result:= res
			end

	setup_Misil()
			-- Operacion encargada de preparar los misiles
			require
				hayMisiles()
				do
					create misilActual.make
					io.put_string ("SE CREO EL MISIL");
				end

	cargarMisil()
			-- Operacion encargada de activar el misil
			do
				misilActual.activar
			end

	preparar_Misil()
			-- Llama a las operaciones hay misiles, setuo misil y cargar misil

			do
				if (haymisiles()) then
					setup_Misil()
					cargarmisil()
				end
			end


	apuntarMisil(obj:STRING)
			-- Operacion encargada de apuntar el misil
			do
			misilActual.Fijar_Blanco(obj)
			end

	lanzarMisil()
			-- Operacion que le ordena al misil que despegue
			do
			misilActual.despegar
			end

end
